1. Foundations of equational logic programming
Author: Holldobler, Steffen
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
63
.
H65
1989
2. Foundations of equational logic programming
Author: Holldobler, Steffen, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
L28
Vol
.
353
3. Intellectics and Computational Logic
Author: edited by Steffen Hölldobler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General).
4. KI-96 :
Author: Günther Görz, Steffen Hölldobler, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Automatic theorem proving -- Congresses.,Knowledge representation (Information theory) -- Congresses.
5. KI-96: advances in artificial intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17-19, 1996 : proceedings
Author: Gunther Gorz, Steffen Holldobler )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Knowledge representation )Information theory(
Classification :
QA
76
.
L28
Vol
.
1137
6. Wissensrepräsentation und Inferenz :
Author: Wolfgang Bibel zusammen mit Steffen Hölldobler und Torsten Schaub.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Kognitionswissenschaft.,Künstliche Intelligenz.,Wissensrepräsentation.
Classification :
BC199
.
I47
W654
1993
